大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

0
索取号：
作者：Yli-Jyr盲、 Anssi.、Kornai、 Andr谩s.、Sakarovitch、 Jacques.、Watson、 Bruce.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy

0
索取号：
作者：Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010

0
索取号：
作者：Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Nakamatsu、 Kazumi.、Howlett、 Robert J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers

0
索取号：
作者：Masulli、 Francesco.、Peterson、 Leif E.、Tagliaferri、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Privacy Enhancing Technologies [electronic resource] : 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010. Proceedings

0
索取号：
作者：Atallah、 Mikhail J.、Hopper、 Nicholas J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithmic Number Theory [electronic resource] : 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings

0
索取号：
作者：Hanrot、 Guillaume.、Morain、 Fran莽ois.、Thom茅、 Emmanuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

0
索取号：
作者：Laneve、 Cosimo.、Su、 Jianwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications

0
索取号：
作者：Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Aspects in Information and Management [electronic resource] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings

0
索取号：
作者：Chen、 Bo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems

0
索取号：
作者：Schnieder、 Eckehard.、Tarnai、 Geza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Results in Numerical and Experimental Fluid Mechanics VII [electronic resource] : Contributions to the 16th STAB/DGLR Symposium Aachen, Germany 2008

0
索取号：
作者：Dillmann、 Andreas.、Heller、 Gerd.、Klaas、 Michael.、Kreplin、 Hans-Peter.、Nitsche、 Wolfgang.、Schr枚der、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Progress in Hybrid RANS-LES Modelling [electronic resource] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009

0
索取号：
作者：Peng、 Shia-Hui.、Doerffer、 Piotr.、Haase、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects

0
索取号：
作者：Gabbay、 Dov M.、Rodrigues、 Odinaldo T.、Russo、 Alessandra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.